翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Contravariant functor : ウィキペディア英語版
Functor

In mathematics, a functor is a type of mapping between categories which is applied in category theory. Functors can be thought of as homomorphisms between categories. In the category of small categories, functors can be thought of more generally as morphisms.
Functors were first considered in algebraic topology, where algebraic objects (like the fundamental group) are associated to topological spaces, and algebraic homomorphisms are associated to continuous maps. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are generally applicable in areas within mathematics that category theory can make an abstraction of.
The word ''functor'' was borrowed by mathematicians from the philosopher Rudolf Carnap, who used the term in a linguistic context:〔Carnap, The Logical Syntax of Language, p. 13–14, 1937, Routledge & Kegan Paul〕
see function word.
==Definition==
Let ''C'' and ''D'' be categories. A functor ''F'' from ''C'' to ''D'' is a mapping that〔Jacobson (2009), p. 19, def. 1.2.〕
* associates to each object X \in C an object F(X) in ''D'',
* associates to each morphism f:X\rightarrow Y in ''C'' a morphism F(f):F(X) \rightarrow F(Y) in ''D'' such that the following two conditions hold:
*
* F(\mathrm_) = \mathrm_\,\! for every object X \in C
*
* F(g \circ f) = F(g) \circ F(f) for all morphisms f:X \rightarrow Y\,\! and g:Y\rightarrow Z.\,\!
That is, functors must preserve identity morphisms and composition of morphisms.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Functor」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.